منابع مشابه
Constructive Truth and Circularity
We propose a constructive interpretation of truth which resolves the standard semantic paradoxes. 1. Heuristic concepts In intuitionism the law of excluded middle (LEM) is not accepted because the assignment of truth values to sentences is seen as a kind of open-ended process. Although the validity of any purported proof is supposed to be decidable, the truth value of a given sentence may not b...
متن کاملVoodoo and circularity errors
We briefly describe the circularity/non-independence problem, and our perception of the impact the ensuing discussion has had on fMRI research.
متن کاملCircularity and Lambda Abstraction
In this tribute to Doaitse Swierstra, we present the first transformation between lazy circular programs à la Bird and strict circular programs à la Pettorossi. Circular programs à la Bird rely on lazy recursive binding: they involve circular unknowns and make sense equationally. Circular programs à la Pettorossi rely on the inductive construction of functions and their eventual application: th...
متن کاملEpistemic Circularity and Epistemic Incommensurability
If I were to believe you are trustworthy just on your say-so, my reasoning would be infected with what is called epistemic circularity. I would be supposing a source is trustworthy by relying on that very source. Generally speaking, we tend to think this is a very bad idea. It is why we don’t bother asking politicians or salesmen whether they are honest. A well-known line of reasoning stemming ...
متن کاملDiscrete Circularity Measure
A new circularity measure for discrete objects is introduced and an algorithm to compute this measure is presented. This measure equals 0 for all discrete circles and is strictly positive for all discrete objects which are not discrete circles.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Glass structures & engineering
سال: 2023
ISSN: ['2363-5142', '2363-5150']
DOI: https://doi.org/10.1007/s40940-023-00230-3